//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

#ifndef __ELASTOS_CORE_HAL_H__
#define __ELASTOS_CORE_HAL_H__

#ifdef _x86

#include <ddk/hal/x86/mmu.h>
#include <ddk/hal/x86/interrupt.h>
#include <core/hal/x86/hat.h>
#include <core/hal/x86/context.h>
#elif defined(_arm)

#include <ddk/hal/arm/mmu.h>
#include <ddk/hal/arm/interrupt.h>
#include <core/hal/arm/hat.h>
#include <core/hal/arm/context.h>
#elif defined(_mips)

#include <ddk/hal/mips/mmu.h>
#include <ddk/hal/mips/interrupt.h>
#include <ddk/hal/mips/cache.h>
#include <ddk/hal/mips/tlb.h>
#include <core/hal/mips/hat.h>
#include <core/hal/mips/context.h>
#include <core/hal/mips/chat.h>

#else

#error Unknown architecture

#endif // _x86

#endif //__ELASTOS_CORE_HAL_H__
